a jolly good time - German English Dictionary